A CARTESIAN PRESENTATION OF WEAK n-CATEGORIES
نویسنده
چکیده
We propose a notion of weak (n + k, n)-category, which we call (n + k, n)Θ-spaces. The (n + k, n)-Θ-spaces are precisely the fibrant objects of a certain model category structure on the category of presheaves of simplicial sets on Joyal’s category Θn. This notion is a generalization of that of complete Segal spaces (which are precisely the (∞, 1)-Θ-spaces). Our main result is that the above model category is cartesian. Note: This version of the article has been revised to correct errors which appear in the published version.
منابع مشابه
Steps toward the weak higher category of weak higher categories in the globular setting
We start this article by rebuilding higher operads of weak higher transformations, and correct those in cite{Cambat}. As in cite{Cambat} we propose an operadic approach for weak higher $n$-transformations, for each $ninmathbb{N}$, where such weak higher $n$-transformations are seen as algebras for specific contractible higher operads. The last chapter of this article asserts that, up to precise...
متن کاملCorrection to “A cartesian presentation of weak n-categories”
In this note, I provide a correction to the proof of Proposition 6.6 of [Rez10]. It forms a key part of the proof of the main Theorem 1.4 of that paper. The error lies in the use of Proposition 2.19, which is simply false as stated. In fact, it is easy to construct counterexamples to 2.19 when the poset P does not have contractible nerve. The error the original paper was pointed out to me by Bi...
متن کاملWeak n-categories: comparing opetopic foundations
We define the category of tidy symmetric multicategories. We construct for each tidy symmetric multicategory Q a cartesian monad (EQ, TQ) and extend this assignation to a functor. We exhibit a relationship between the slice construction on symmetric multicategories, and the ‘free operad’ monad construction on suitable monads. We use this to give an explicit description of the relationship betwe...
متن کاملWeak n-Ary Relational Products in Allegories
Abstract: Allegories are enriched categories generalizing a category of sets and binary relations. Accordingly, relational products in an allegory can be viewed as a generalization of Cartesian products. There are several definitions of relational products currently in the literature. Interestingly, definitions for binary products do not generalize easily to n-ary ones. In this paper, we provid...
متن کاملCartesian Closed Double Categories, Their Lambda-Notation, and the Pi-Calculus
We introduce the notion of cartesian closed double category to provide mobile calculi for communicating systems with specific semantic models: One dimension is dedicated to compose systems and the other to compose their computations and their observations. Also, inspired by the connection between simply typed -calculus and cartesian closed categories, we define a new typed framework, called dou...
متن کامل